Section: New Results

Model Typing

In recent years, the Triskell team established a formal theory of model typing, considering models as first class entities when modeling in the large (Model typing goes beyond the typing of individual model elements to actually deal with the type of graphs of model elements). Model typing was initially developed to support the reuse of both metamodels and model transformations [21] . It is now becoming the cornerstone of the various established metamodeling operators to ensure structural and behavioral properties [85] [43] .

The series of work on model typing was initially developed in the context of Jim Steel's PhD, defended in 2008. Then, it has continuously evolved in the scheme of the Naouel Moha's post doctoral position and the Clément Guy's PhD thesis [43] . Recently, work on model typing had a very strong application to the field of optimizing compilers [18] . This is the result of a close collaboration between Inria and Colorado State University (CSU), involving two teams in MDE (the Triskell team at Inria and the SE group at CSU), and two teams in optimizing compilers (the CAIRN team at Inria and the Mélange group at CSU). This collaboration was partially funded by the Inria associated teams MoCAA and LRS.